Skip to content

Conversation

Andarist
Copy link
Contributor

@Andarist Andarist commented Oct 5, 2025

// CoalesceExpressionHead:
// CoalesceExpression
// BitwiseORExpression
OperatorPrecedenceCoalesce = OperatorPrecedenceLogicalOR
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Alternatively, I could make the OperatorPrecedenceCoalesce lower than OperatorPrecedenceLogicalOR and then handle that change from Strada in parseBinaryExpressionRest and its computation of consumeCurrentOperator (and maybe in some other places too). cc @weswigham

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Wouldn't that match Strada better? Or is there a downside?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Strada defines those 2 with the same value so the current approach in this PR matches Strada rather closely. The alternative I mentioned would require changes that would diverge from Strada (code-wise)

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Agh, my bad, read the other PR wrong and forgot to expand some code.

case ast.OperatorPrecedenceAssignment:
// assignment is right-associative
leftPrec = ast.OperatorPrecedenceLeftHandSide
case ast.OperatorPrecedenceCoalesce:
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I had to remove it because it would now be a duplicate case - but it seems that with the current logic I don't even have to move this code anywhere as nothing has regressed

@jakebailey jakebailey requested a review from weswigham October 6, 2025 18:21
Copy link
Member

@weswigham weswigham left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Eh, this is probably the better change. It already matches the strada change because logicalOR's precedence is already in the newer position in corsa, so doesn't need to move like it did in the strada change, and it's probably better to need to touch less places anyway - precedence adjustments affect AST shape and API consumers, so it's best to be minimal when fixing them (re: the original strada change).

@jakebailey jakebailey added this pull request to the merge queue Oct 6, 2025
Merged via the queue into microsoft:main with commit 0fbc06e Oct 6, 2025
22 checks passed
nathanwhit added a commit to denoland/typescript-go that referenced this pull request Oct 6, 2025
* Port "Infer from annotated return type nodes before assigning contextual parameter types" (microsoft#1804)

* Port "make exported destructured discriminated union narrowing work" (microsoft#1806)

Co-authored-by: =?UTF-8?q?Michal=20Mar=C5=A1=C3=A1lek?= <[email protected]>

* Implement more of doc highlights / find all refs (microsoft#1796)

Co-authored-by: copilot-swe-agent[bot] <[email protected]>

* Port "Provide string completions for `in` keyword checks" (microsoft#1803)

* Port "Fix #61098" (microsoft#1810)

Co-authored-by: Hans Brende <[email protected]>

* Port "fix(61258): Renaming namespace with const enum doesn't update enum references" (microsoft#1811)

Co-authored-by: "Oleksandr T." <[email protected]>

* Update dependencies (microsoft#1785)

* Mark libReplacement default as false (microsoft#1812)

* Port "Deemphasize old JSX transform" (microsoft#1809)

Co-authored-by: "Sebastian \"Sebbie\" Silbermann" <[email protected]>

* Port "fix(checker): report error when using bigint as enum key" (microsoft#1814)

Co-authored-by: magic-akari <[email protected]>

* Port "explicitly disallow `using` in ambient contexts" (microsoft#1815)

Co-authored-by: =?UTF-8?q?Ren=C3=A9?= <[email protected]>

* Port 'Issue "'{0}' declarations can only be declared inside a block." for block-scoped variables in presence of parse errors' (microsoft#1816)

* Port "Avoid resolving source prop type when the target is `unknown`/`any`" (microsoft#1817)

* Port "Allow trailing commas after import attributes in `ImportType`" (microsoft#1818)

* Port "Fix BigInt literal error in ambient contexts when targeting < ES2020" (microsoft#1819)

* Port "Stop reassigning `.valueDeclaration` to avoid replacing earlier declarations with late ones" (microsoft#1813)

* Port "Keep accessors as accessors in emitted anonymous class declarations" (microsoft#1822)

* Port "Fixed crash in `hasVisibleDeclarations` related to binding elements" (microsoft#1820)

* Port "Properly disallow `yield` in bodyless arrows" (microsoft#1825)

* Port "Account for right operands & fix a weird error message for leftmost nullish literals in checkNullishCoalesceOperands" (microsoft#1805)

Co-authored-by: Chiri Vulpes <[email protected]>

* Remove JSDoc handling from the binder (microsoft#1827)

* Port "`arguments` should not be allowed in class static block" (microsoft#1828)

Co-authored-by: Zzzen <[email protected]>

* Port "check usage before declaration for decorators" (microsoft#1829)

Co-authored-by: Zzzen <[email protected]>

* Fix nil pointer dereference in snapshotFS.GetFile for non-existent files (microsoft#1830)

* Fix translation bug causing `unknown` infer-extends constraint to be emitted (microsoft#1831)

* Port "Fixed nullish coalesce operator's precedence" (microsoft#1824)

* Fixed an issue with type params being renamed incorrectly (microsoft#1833)

* Port "Add support for `import defer` proposal"  (microsoft#1826)

Co-authored-by: =?UTF-8?q?Nicol=C3=B2=20Ribaudo?= <[email protected]>

* Bump github/codeql-action from 3.30.5 to 3.30.6 in the github-actions group across 1 directory (microsoft#1832)

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

* Port "Preserve type parameter constraint in emitted mapped types while preserving their distributivity" (microsoft#1834)

* disable create-cache ci job

* merge fixup

---------

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: Mateusz Burzyński <[email protected]>
Co-authored-by: =?UTF-8?q?Michal=20Mar=C5=A1=C3=A1lek?= <[email protected]>
Co-authored-by: Jake Bailey <[email protected]>
Co-authored-by: copilot-swe-agent[bot] <[email protected]>
Co-authored-by: Hans Brende <[email protected]>
Co-authored-by: "Oleksandr T." <[email protected]>
Co-authored-by: "Sebastian \"Sebbie\" Silbermann" <[email protected]>
Co-authored-by: magic-akari <[email protected]>
Co-authored-by: =?UTF-8?q?Ren=C3=A9?= <[email protected]>
Co-authored-by: Chiri Vulpes <[email protected]>
Co-authored-by: Zzzen <[email protected]>
Co-authored-by: John Xu <[email protected]>
Co-authored-by: =?UTF-8?q?Nicol=C3=B2=20Ribaudo?= <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants